Verifiable Data Structures
https://github.com/google/trillian/blob/master/docs/papers/VerifiableDataStructures.pdf
Merkle Tree
を使ったappend-onlyなlog